Documentation on planets

Task: planets
Purpose: Print ephemerides of planets and the Sun.
Categories: utility

        PLANETS is a MIRIAD task to report some parameters on solar system
        objects.

Key: source
        This can be "sun" or the name of a major planet (excluding the Earth).
        No default.

Key: epoch
        The time (UTC) for which information is required, in standard
        Miriad time format. No default.

Key: observ
        The name of an observatory used in computing rise and set times.
        The default is not to compute these. See telepar for a list of
        observatories that Miriad knows about.